body
{
	font-family: "DejaVu Sans" , "Bitstream Vera Sans" ,Verdana,sans-serif;
	background-color: #E5F3FF;
	width: 1000px;
	padding: 10px;
}

pre
{
	font-family: 'Lucida Console';
	font-size: small;
	background-color: #FFFEE5;
	border: 1px dashed #2F6FAB;
	color: black;
	line-height: 1.1em;
	padding: 0.5em;
	margin-left: 20px;
	margin-right: 20px;
}

h1
{
	font-size: x-large;
}

h2
{
	font-size: large;
}

#header
{
	font-size: xx-large;
	font-weight: bold;
	border-bottom-style: solid;
	border-width: thin;
	background-color: #A8D7FF;
	padding: 10px;
}

#footer
{
	border-top-style: solid;
	border-width: thin;
	font-size: small;
	background-color: #E5E6FF;
	padding: 10px;
}

#footerlist
{
	list-style-type: none;
	padding: 0px;
	margin: 0px;
}
